9ab7739e3a1e39c9a2725b7fe19487ee1dc848f9,src/org/uecide/Editor.java,TreeMouseListener,mousePressed,#MouseEvent#,1684

Before Change


                    // Otherwise it might be a library.  This generates the menu entries for a
                    // library object.

                } else if(o.getUserObject().getClass().equals(Library.class)) {
                    final Library lib = (Library)(o.getUserObject());
                    JMenuItem item = new JMenuItem("Delete cached archive");
                    item.setEnabled(loadedSketch.libraryIsCompiled(lib));

After Change


                    // Otherwise it might be a library.  This generates the menu entries for a
                    // library object.

                } else if(o.getUserObject() instanceof Library) {
                    final Library lib = (Library)(o.getUserObject());
                    JMenuItem item = new JMenuItem("Delete cached archive");
                    item.setEnabled(loadedSketch.libraryIsCompiled(lib));